vacuum distillation (English)